Generating reversible circuits from higher-order functional programs

Boolean reversible circuits are boolean circuits made of reversible elementary gates. Despite their constrained form, they can simulate any boolean function. The synthesis and validation of a reversible circuit simulating a given function is a difficult problem. In 1973, Bennett proposed to generate reversible circuits from traces of execution of Turing machines. In this paper, we propose a novel presentation of this approach, adapted to higher-order programs. Starting with a PCF-like language, we use a monadic representation of the trace of execution to turn a regular boolean program into a circuit-generating code. We show that a circuit traced out of a program computes the same boolean function as the original program. This technique has been successfully applied to generate large oracles with the quantum programming language Quipper.Comment: 21 pages. A shorter preprint has been accepted for publication in the Proceedings of Reversible Computation 2016. The final publication is available at http://link.springer.co

The role of multiplicative complexity in compiling Low T-count Oracle circuits

We present a constructive method to create quantum circuits that implement oracles |x〉|y〉|0〉 k →|x〉|y⊕f(x)〉|0〉 k for n-variable Boolean functions f with low T-count. In our method f is given as a 2-regular Boolean logic network over the gate basis {∧, ⊕, 1}. Our construction leads to circuits with a T-count that is at most four times the number of AND nodes in the network. In addition, we propose a SAT-based method that allows us to trade qubits for T gates, and explore the space/complexity trade-off of quantum circuits. Our constructive method suggests a new upper bound for the number of T gates and ancilla qubits based on the multiplicative complexity c∧(f) of the oracle function f, which is the minimum number of AND gates that is required to realize f over the gate basis {∧, ⊕, 1}. There exists a quantum circuit computing f with at most 4c∧(f)T gates using k=c∧(f) ancillae. Results known for the multiplicative complexity of Boolean functions can be transferred. We verify our method by comparing it to different state-of-the-art compilers. Finally, we present our synthesis results for Boolean functions used in quantum cryptoanalysis

Synthesis and Optimization of Reversible Circuits - A Survey

Reversible logic circuits have been historically motivated by theoretical research in low-power electronics as well as practical improvement of bit-manipulation transforms in cryptography and computer graphics. Recently, reversible circuits have attracted interest as components of quantum algorithms, as well as in photonic and nano-computing technologies where some switching devices offer no signal gain. Research in generating reversible logic distinguishes between circuit synthesis, post-synthesis optimization, and technology mapping. In this survey, we review algorithmic paradigms --- search-based, cycle-based, transformation-based, and BDD-based --- as well as specific algorithms for reversible synthesis, both exact and heuristic. We conclude the survey by outlining key open challenges in synthesis of reversible and quantum logic, as well as most common misconceptions.Comment: 34 pages, 15 figures, 2 table

Lightweight String Reasoning for OCL

International audienceModels play a key role in assuring software quality in the modeldriven approach. Precise models usually require the definition of OCL expressions to specify model constraints that cannot be expressed graphically. Techniques that check the satisfiability of such models and find corresponding instances of them are important in various activities, such as model-based testing and validation. Several tools to check model satisfiability have been developed but to our knowledge, none of them yet supports the analysis of OCL expressions including operations on Strings in general terms. As, in contrast, many industrial models do contain such operations, there is evidently a gap. There has been much research on formal reasoning on strings in general, but so far the results could not be included into model finding approaches. For model finding, string reasoning only contributes a sub-problem, therefore, a string reasoning approach for model finding should not add up front too much computational complexity to the global model finding problem. We present such a lightweight approach based on constraint satisfaction problems and constraint rewriting. Our approach efficiently solves several common kinds of string constraints and it is integrated into the EMFtoCSP model finder

Assessing the quality of reports of systematic reviews in pediatric complementary and alternative medicine

OBJECTIVE: To examine the quality of reports of complementary and alternative medicine (CAM) systematic reviews in the pediatric population. We also examined whether there were differences in the quality of reports of a subset of CAM reviews compared to reviews using conventional interventions. METHODS: We assessed the quality of reports of 47 CAM systematic reviews and 19 reviews evaluating a conventional intervention. The quality of each report was assessed using a validated 10-point scale. RESULTS: Authors were particularly good at reporting: eligibility criteria for including primary studies, combining the primary studies for quantitative analysis appropriately, and basing their conclusions on the data included in the review. Reviewers were weak in reporting: how they avoided bias in the selection of primary studies, and how they evaluated the validity of the primary studies. Overall the reports achieved 43% (median = 3) of their maximum possible total score. The overall quality of reporting was similar for CAM reviews and conventional therapy ones. CONCLUSIONS: Evidence based health care continues to make important contributions to the well being of children. To ensure the pediatric community can maximize the potential use of these interventions, it is important to ensure that systematic reviews are conducted and reported at the highest possible quality. Such reviews will be of benefit to a broad spectrum of interested stakeholders

The motivations of external whistleblowers and their impact on the intention to blow the whistle again

The purpose of this study was to inquire into the relative importance of morality, cost‐benefit, and emotion as motivations for the decision to blow the whistle externally, and the effects of such factors as motivations, perceived negative consequences, and preferences for reform on the intention to blow the whistle again. Based on a literature review, we formulated some hypotheses and, to test them, we used the data collected from a survey of 127 external whistleblowers in South Korea. The results revealed that morality was the most important motivation, followed by emotion, and then cost‐benefit, which thus, seemed to be the least important for the whistleblowers. Morality as a motivation and the perceived negative consequences of whistleblowing had a significant effect on the intention to blow the whistle again. This study helps advance the understanding of the motivations behind whistleblowing and the factors that influence the intention to blow the whistle again

Recent intimate partner violence as a prenatal predictor of maternal depression in the first year postpartum among Latinas

The study aims to determine if recent intimate partner violence (IPV) is a prenatal risk factor for postpartum depression (PPD) among pregnant Latinas seeking prenatal care. A prospective observational study followed Latinas from pregnancy through 13 months postpartum. Prenatal predictors of PPD included depression, recent IPV exposure, remote IPV exposure, non-IPV trauma history, poverty, low social support, acculturation, high parity, and low education. Postpartum depression was measured at 3, 7, and 13 months after birth with the Beck's Depression Inventory—Fast Screen. Strength of association was evaluated using bivariate and multivariable odds ratio analysis. Subjects were predominantly low income, monolingual Spanish, and foreign-born, with mean age of 27.7. Recent IPV, prenatal depression, non-IPV trauma, and low social support were associated with greater likelihood of PPD in bivariate analyses. Recent IPV and prenatal depression continued to show significant association with PPD in multivariate analyses, with greater odds of PPD associated with recent IPV than with prenatal depression (adjusted OR = 5.38, p < 0.0001 for recent IPV and adjusted OR = 3.48, p< 0.0001 for prenatal depression). Recent IPV exposure is a strong, independent prenatal predictor of PPD among Latinas. Screening and referral for both IPV and PPD during pregnancy may help reduce postpartum mental health morbidity among Latinas

A systematic review and meta-analysis of the effects of clinical pathways on length of stay, hospital costs and patient outcomes

Background. To perform a systematic review about the effect of using clinical pathways on length of stay (LOS), hospital costs and patient outcomes. To provide a framework for local healthcare organisations considering the effectiveness of clinical pathways as a patient management strategy. Methods. As participants, we considered hospitalized children and adults of every age and indication whose treatment involved the management strategy "clinical pathways". We include only randomised controlled trials (RCT) and controlled clinical trials (CCT), not restricted by language or country of publication. Single measures of continuous and dichotomous study outcomes were extracted from each study. Separate analyses were done in order to compare effects of clinical pathways on length of stay (LOS), hospital costs and patient outcomes. A random effects meta-analysis was performed with untransformed and log transformed outcomes. Results. In total 17 trials met inclusion criteria, representing 4,070 patients. The quality of the included studies was moderate and studies reporting economic data can be described by a very limited scope of evaluation. In general, the majority of studies reporting economic data (LOS and hospital costs) showed a positive impact. Out of 16 reporting effects on LOS, 12 found significant shortening. Furthermore, in a subgroup-analysis, clinical pathways for invasive procedures showed a stronger LOS reduction (weighted mean difference (WMD) -2.5 days versus -0.8 days)). There was no evidence of differences in readmission to hospitals or in-hospital complications. The overall Odds Ratio (OR) for re-admission was 1.1 (95% CI: 0.57 to 2.08) and for in-hospital complications, the overall OR was 0.7 (95% CI: 0.49 to 1.0). Six studies examined costs, and four showed significantly lower costs for the pathway group. However, heterogeneity between studies reporting on LOS and cost effects was substantial. Conclusion. As a result of the relatively small number of studies meeting inclusion criteria, this evidence base is not conclusive enough to provide a replicable framework for all pathway strategies. Considering the clinical areas for implementation, clinical pathways seem to be effective especially for invasive care. When implementing clinical pathways, the decision makers need to consider the benefits and costs under different circumstances (e.g. market forces)

Intersection of inflammation and herbal medicine in the treatment of osteoarthritis

Herbal remedies and dietary supplements have become an important area of research and clinical practice in orthopaedics and rheumatology. Understanding the risks and benefits of using herbal medicines in the treatment of arthritis, rheumatic diseases, and musculoskeletal complaints is a key priority of physicians and their patients. This review discusses the latest advances in the use of herbal medicines for treating osteoarthritis (OA) by focusing on the most significant trends and developments. This paper sets the scene by providing a brief introduction to ethnopharmacology, Ayurvedic medicine, and nutrigenomics before discussing the scientific and mechanistic rationale for targeting inflammatory signalling pathways in OA by use of herbal medicines. Special attention is drawn to the conceptual and practical difficulties associated with translating data from in-vitro experiments to in-vivo studies. Issues relating to the low bioavailability of active ingredients in herbal medicines are discussed, as also is the need for large-scale, randomized clinical trial